See Willemstad on Wiktionary
{ "etymology_templates": [ { "args": { "1": "en", "2": "nl", "3": "Willemstad" }, "expansion": "Dutch Willemstad", "name": "bor" } ], "etymology_text": "Borrowed from Dutch Willemstad (literally \"Williamtown\").", "head_templates": [ { "args": {}, "expansion": "Willemstad", "name": "en-proper noun" } ], "lang": "English", "lang_code": "en", "pos": "name", "senses": [ { "categories": [ { "_dis": "67 33", "kind": "other", "name": "English entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w+disamb" }, { "_dis": "94 6", "kind": "other", "name": "Entries with translation boxes", "parents": [], "source": "w+disamb" }, { "_dis": "12 20 24 6 32 7", "kind": "other", "name": "Pages with 4 entries", "parents": [], "source": "w+disamb" }, { "_dis": "9 26 32 5 24 5", "kind": "other", "name": "Pages with entries", "parents": [], "source": "w+disamb" }, { "_dis": "86 14", "kind": "other", "name": "Terms with Arabic translations", "parents": [], "source": "w+disamb" }, { "_dis": "86 14", "kind": "other", "name": "Terms with Asturian translations", "parents": [], "source": "w+disamb" }, { "_dis": "95 5", "kind": "other", "name": "Terms with Dutch translations", "parents": [], "source": "w+disamb" }, { "_dis": "96 4", "kind": "other", "name": "Terms with French translations", "parents": [], "source": "w+disamb" }, { "_dis": "92 8", "kind": "other", "name": "Terms with Greek translations", "parents": [], "source": "w+disamb" }, { "_dis": "96 4", "kind": "other", "name": "Terms with Japanese translations", "parents": [], "source": "w+disamb" }, { "_dis": "96 4", "kind": "other", "name": "Terms with Latin translations", "parents": [], "source": "w+disamb" }, { "_dis": "94 6", "kind": "other", "name": "Terms with Papiamentu translations", "parents": [], "source": "w+disamb" }, { "_dis": "66 34", "kind": "other", "name": "Terms with West Frisian translations", "parents": [], "source": "w+disamb" } ], "glosses": [ "The capital city of Curaçao." ], "id": "en-Willemstad-en-name-ydaATgor", "links": [ [ "Curaçao", "Curaçao" ] ], "translations": [ { "_dis1": "95 5", "code": "ar", "lang": "Arabic", "roman": "wilmstād", "sense": "capital city of Curaçao", "word": "ويلمستاد" }, { "_dis1": "95 5", "code": "ast", "lang": "Asturian", "sense": "capital city of Curaçao", "word": "Willemstad" }, { "_dis1": "95 5", "code": "nl", "lang": "Dutch", "sense": "capital city of Curaçao", "tags": [ "neuter" ], "word": "Willemstad" }, { "_dis1": "95 5", "code": "fr", "lang": "French", "sense": "capital city of Curaçao", "tags": [ "feminine" ], "word": "Willemstad" }, { "_dis1": "95 5", "code": "el", "lang": "Greek", "roman": "Vílemstat", "sense": "capital city of Curaçao", "word": "Βίλεμστατ" }, { "_dis1": "95 5", "code": "ja", "lang": "Japanese", "roman": "Wiremusutatto", "sense": "capital city of Curaçao", "word": "ウィレムスタット" }, { "_dis1": "95 5", "code": "la", "lang": "Latin", "sense": "capital city of Curaçao", "tags": [ "feminine" ], "word": "Gulielmopolis" }, { "_dis1": "95 5", "code": "pap", "lang": "Papiamentu", "sense": "capital city of Curaçao", "word": "Willemstad" }, { "_dis1": "95 5", "code": "fy", "lang": "West Frisian", "sense": "capital city of Curaçao", "tags": [ "neuter" ], "word": "Willemstêd" } ] }, { "glosses": [ "A city and town in North Brabant, the Netherlands." ], "id": "en-Willemstad-en-name-odqefLu5", "links": [ [ "North Brabant", "North Brabant" ], [ "Netherlands", "Netherlands" ] ] } ], "sounds": [ { "ipa": "/ˈwɪləmstɑːt/" }, { "ipa": "/ˈvɪləmstɑːt/" } ], "wikipedia": [ "Willemstad" ], "word": "Willemstad" } { "derived": [ { "_dis1": "0 0 0 0", "word": "Willemstadter" }, { "_dis1": "0 0 0 0", "word": "Willemstads" }, { "_dis1": "0 0 0 0", "word": "Stadse Dijk" } ], "etymology_templates": [ { "args": { "1": "nds-nl", "2": "De Willemstad" }, "expansion": "Dutch Low Saxon De Willemstad", "name": "cog" }, { "args": { "1": "fy", "2": "Willemstêd" }, "expansion": "West Frisian Willemstêd", "name": "cog" } ], "etymology_text": "* (Curaçao) Compound of Willem (a personal name) and stad (“city”). Named after William II of Orange (1626-1650).\n* (Noord-Brabant) First attested as Willemstat in 1639. Compound of Willem (a personal name) and stad (“city”). Named after William I of Orange (1533-1584).\n* (Friesland) Attested as Willemstad (De) in 1899. Etymology uncertain. Possibly named after one of the first inhabitants or by a local family. The hamlet may also have been named after Willemstad in Noord-Brabant, which had heroically resisted a French siege in 1793. See also Dutch Low Saxon De Willemstad and West Frisian Willemstêd.\n* (Groningen) First attested as WILLEMSTAD (DE) in 1849. Named after Willemstad in Noord-Brabant by a group of veterans of the Ten-Day Campaign.", "head_templates": [ { "args": { "1": "n" }, "expansion": "Willemstad n", "name": "nl-proper noun" } ], "hyphenation": [ "Wil‧lem‧stad" ], "lang": "Dutch", "lang_code": "nl", "pos": "name", "senses": [ { "categories": [ { "kind": "place", "langcode": "nl", "name": "Cities in Curaçao", "orig": "nl:Cities in Curaçao", "parents": [ "Cities", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "National capitals", "orig": "nl:National capitals", "parents": [ "Capital cities", "Cities", "Polities", "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Places in Curaçao", "orig": "nl:Places in Curaçao", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" } ], "glosses": [ "The capital city of Curaçao" ], "id": "en-Willemstad-nl-name-kjfNd8xz", "links": [ [ "capital city", "capital city" ], [ "Curaçao", "Curaçao#English" ] ], "tags": [ "neuter" ] }, { "categories": [ { "kind": "place", "langcode": "nl", "name": "Cities in North Brabant, Netherlands", "orig": "nl:Cities in North Brabant, Netherlands", "parents": [ "Cities", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Cities in the Netherlands", "orig": "nl:Cities in the Netherlands", "parents": [ "Cities", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Historical political subdivisions", "orig": "nl:Historical political subdivisions", "parents": [ "Political subdivisions", "Polities", "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Places in North Brabant, Netherlands", "orig": "nl:Places in North Brabant, Netherlands", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Places in the Netherlands", "orig": "nl:Places in the Netherlands", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "_dis": "9 26 32 5 24 5", "kind": "other", "name": "Pages with entries", "parents": [], "source": "w+disamb" } ], "glosses": [ "A city and former municipality of Moerdijk, North Brabant, Netherlands" ], "id": "en-Willemstad-nl-name-qZJt7B3d", "links": [ [ "municipality", "municipality" ], [ "Moerdijk", "Moerdijk#English" ], [ "North Brabant", "North Brabant#English" ], [ "Netherlands", "Netherlands#English" ] ], "synonyms": [ { "word": "Kakeldonk" } ], "tags": [ "neuter" ] }, { "categories": [ { "kind": "place", "langcode": "nl", "name": "Places in Friesland, Netherlands", "orig": "nl:Places in Friesland, Netherlands", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Places in the Netherlands", "orig": "nl:Places in the Netherlands", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Villages in Friesland, Netherlands", "orig": "nl:Villages in Friesland, Netherlands", "parents": [ "Villages", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Villages in the Netherlands", "orig": "nl:Villages in the Netherlands", "parents": [ "Villages", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "_dis": "9 26 32 5 24 5", "kind": "other", "name": "Pages with entries", "parents": [], "source": "w+disamb" }, { "_dis": "6 39 49 6", "kind": "other", "name": "Dutch entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w+disamb" } ], "glosses": [ "A hamlet in Ooststellingwerf, Friesland, Netherlands" ], "id": "en-Willemstad-nl-name-yfDpz16r", "links": [ [ "hamlet", "hamlet" ], [ "Ooststellingwerf", "Ooststellingwerf#English" ], [ "Friesland", "Friesland#English" ], [ "Netherlands", "Netherlands#English" ] ], "tags": [ "neuter" ] }, { "categories": [ { "kind": "place", "langcode": "nl", "name": "Places in Groningen, Netherlands", "orig": "nl:Places in Groningen, Netherlands", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Places in the Netherlands", "orig": "nl:Places in the Netherlands", "parents": [ "Places", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Villages in Groningen, Netherlands", "orig": "nl:Villages in Groningen, Netherlands", "parents": [ "Villages", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" }, { "kind": "place", "langcode": "nl", "name": "Villages in the Netherlands", "orig": "nl:Villages in the Netherlands", "parents": [ "Villages", "Places", "Polities", "Names", "All topics", "Proper nouns", "Terms by semantic function", "Fundamental", "Nouns", "Lemmas" ], "source": "w" } ], "glosses": [ "A hamlet in Westerkwartier, Groningen, Netherlands" ], "id": "en-Willemstad-nl-name-3clNaH44", "links": [ [ "hamlet", "hamlet" ], [ "Westerkwartier", "Westerkwartier#English" ], [ "Groningen", "Groningen#English" ], [ "Netherlands", "Netherlands#English" ] ], "tags": [ "neuter" ] } ], "sounds": [ { "ipa": "/ˈʋɪ.ləmˌstɑt/" }, { "audio": "Nl-Willemstad.ogg", "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/13/Nl-Willemstad.ogg/Nl-Willemstad.ogg.mp3", "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/1/13/Nl-Willemstad.ogg" } ], "word": "Willemstad" } { "etymology_templates": [ { "args": { "1": "fr", "2": "nl", "3": "Willemstad" }, "expansion": "Borrowed from Dutch Willemstad", "name": "bor+" } ], "etymology_text": "Borrowed from Dutch Willemstad.", "head_templates": [ { "args": { "1": "f" }, "expansion": "Willemstad f", "name": "fr-proper noun" } ], "lang": "French", "lang_code": "fr", "pos": "name", "senses": [ { "categories": [ { "kind": "other", "name": "French entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w" }, { "kind": "other", "name": "Pages with 4 entries", "parents": [], "source": "w" }, { "kind": "other", "name": "Pages with entries", "parents": [], "source": "w" } ], "glosses": [ "Willemstad, the capital city of Curaçao" ], "id": "en-Willemstad-fr-name-udZe7R5S", "links": [ [ "Willemstad", "Willemstad#English" ], [ "Curaçao", "Curaçao" ] ], "tags": [ "feminine" ] } ], "sounds": [ { "ipa": "/wi.lɛm.stad/" } ], "word": "Willemstad" } { "etymology_templates": [ { "args": { "1": "pap", "2": "nl", "3": "Willemstad" }, "expansion": "Dutch Willemstad", "name": "bor" } ], "etymology_text": "Borrowed from Dutch Willemstad.", "head_templates": [ { "args": { "1": "pap", "2": "proper noun" }, "expansion": "Willemstad", "name": "head" } ], "lang": "Papiamentu", "lang_code": "pap", "pos": "name", "senses": [ { "categories": [ { "kind": "other", "name": "Pages with 4 entries", "parents": [], "source": "w" }, { "kind": "other", "name": "Pages with entries", "parents": [], "source": "w" }, { "kind": "other", "name": "Papiamentu entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w" } ], "glosses": [ "Willemstad, the capital city of Curaçao." ], "id": "en-Willemstad-pap-name-qY0raMcR", "links": [ [ "Willemstad", "Willemstad#English" ], [ "Curaçao", "Curaçao" ] ] } ], "sounds": [ { "ipa": "/wiləmˈstad/" } ], "word": "Willemstad" }
{ "categories": [ "Dutch entries with incorrect language header", "Dutch eponyms", "Dutch lemmas", "Dutch neuter nouns", "Dutch proper nouns", "Pages with 4 entries", "Pages with entries" ], "derived": [ { "word": "Willemstadter" }, { "word": "Willemstads" }, { "word": "Stadse Dijk" } ], "etymology_templates": [ { "args": { "1": "nds-nl", "2": "De Willemstad" }, "expansion": "Dutch Low Saxon De Willemstad", "name": "cog" }, { "args": { "1": "fy", "2": "Willemstêd" }, "expansion": "West Frisian Willemstêd", "name": "cog" } ], "etymology_text": "* (Curaçao) Compound of Willem (a personal name) and stad (“city”). Named after William II of Orange (1626-1650).\n* (Noord-Brabant) First attested as Willemstat in 1639. Compound of Willem (a personal name) and stad (“city”). Named after William I of Orange (1533-1584).\n* (Friesland) Attested as Willemstad (De) in 1899. Etymology uncertain. Possibly named after one of the first inhabitants or by a local family. The hamlet may also have been named after Willemstad in Noord-Brabant, which had heroically resisted a French siege in 1793. See also Dutch Low Saxon De Willemstad and West Frisian Willemstêd.\n* (Groningen) First attested as WILLEMSTAD (DE) in 1849. Named after Willemstad in Noord-Brabant by a group of veterans of the Ten-Day Campaign.", "head_templates": [ { "args": { "1": "n" }, "expansion": "Willemstad n", "name": "nl-proper noun" } ], "hyphenation": [ "Wil‧lem‧stad" ], "lang": "Dutch", "lang_code": "nl", "pos": "name", "senses": [ { "categories": [ "nl:Cities in Curaçao", "nl:National capitals", "nl:Places in Curaçao" ], "glosses": [ "The capital city of Curaçao" ], "links": [ [ "capital city", "capital city" ], [ "Curaçao", "Curaçao#English" ] ], "tags": [ "neuter" ] }, { "categories": [ "nl:Cities in North Brabant, Netherlands", "nl:Cities in the Netherlands", "nl:Historical political subdivisions", "nl:Places in North Brabant, Netherlands", "nl:Places in the Netherlands" ], "glosses": [ "A city and former municipality of Moerdijk, North Brabant, Netherlands" ], "links": [ [ "municipality", "municipality" ], [ "Moerdijk", "Moerdijk#English" ], [ "North Brabant", "North Brabant#English" ], [ "Netherlands", "Netherlands#English" ] ], "synonyms": [ { "word": "Kakeldonk" } ], "tags": [ "neuter" ] }, { "categories": [ "nl:Places in Friesland, Netherlands", "nl:Places in the Netherlands", "nl:Villages in Friesland, Netherlands", "nl:Villages in the Netherlands" ], "glosses": [ "A hamlet in Ooststellingwerf, Friesland, Netherlands" ], "links": [ [ "hamlet", "hamlet" ], [ "Ooststellingwerf", "Ooststellingwerf#English" ], [ "Friesland", "Friesland#English" ], [ "Netherlands", "Netherlands#English" ] ], "tags": [ "neuter" ] }, { "categories": [ "nl:Places in Groningen, Netherlands", "nl:Places in the Netherlands", "nl:Villages in Groningen, Netherlands", "nl:Villages in the Netherlands" ], "glosses": [ "A hamlet in Westerkwartier, Groningen, Netherlands" ], "links": [ [ "hamlet", "hamlet" ], [ "Westerkwartier", "Westerkwartier#English" ], [ "Groningen", "Groningen#English" ], [ "Netherlands", "Netherlands#English" ] ], "tags": [ "neuter" ] } ], "sounds": [ { "ipa": "/ˈʋɪ.ləmˌstɑt/" }, { "audio": "Nl-Willemstad.ogg", "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/13/Nl-Willemstad.ogg/Nl-Willemstad.ogg.mp3", "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/1/13/Nl-Willemstad.ogg" } ], "word": "Willemstad" } { "categories": [ "English entries with incorrect language header", "English lemmas", "English proper nouns", "English terms borrowed from Dutch", "English terms derived from Dutch", "English uncountable nouns", "Entries with translation boxes", "Pages with 4 entries", "Pages with entries", "Terms with Arabic translations", "Terms with Asturian translations", "Terms with Dutch translations", "Terms with French translations", "Terms with Greek translations", "Terms with Japanese translations", "Terms with Latin translations", "Terms with Papiamentu translations", "Terms with West Frisian translations" ], "etymology_templates": [ { "args": { "1": "en", "2": "nl", "3": "Willemstad" }, "expansion": "Dutch Willemstad", "name": "bor" } ], "etymology_text": "Borrowed from Dutch Willemstad (literally \"Williamtown\").", "head_templates": [ { "args": {}, "expansion": "Willemstad", "name": "en-proper noun" } ], "lang": "English", "lang_code": "en", "pos": "name", "senses": [ { "glosses": [ "The capital city of Curaçao." ], "links": [ [ "Curaçao", "Curaçao" ] ] }, { "glosses": [ "A city and town in North Brabant, the Netherlands." ], "links": [ [ "North Brabant", "North Brabant" ], [ "Netherlands", "Netherlands" ] ] } ], "sounds": [ { "ipa": "/ˈwɪləmstɑːt/" }, { "ipa": "/ˈvɪləmstɑːt/" } ], "translations": [ { "code": "ar", "lang": "Arabic", "roman": "wilmstād", "sense": "capital city of Curaçao", "word": "ويلمستاد" }, { "code": "ast", "lang": "Asturian", "sense": "capital city of Curaçao", "word": "Willemstad" }, { "code": "nl", "lang": "Dutch", "sense": "capital city of Curaçao", "tags": [ "neuter" ], "word": "Willemstad" }, { "code": "fr", "lang": "French", "sense": "capital city of Curaçao", "tags": [ "feminine" ], "word": "Willemstad" }, { "code": "el", "lang": "Greek", "roman": "Vílemstat", "sense": "capital city of Curaçao", "word": "Βίλεμστατ" }, { "code": "ja", "lang": "Japanese", "roman": "Wiremusutatto", "sense": "capital city of Curaçao", "word": "ウィレムスタット" }, { "code": "la", "lang": "Latin", "sense": "capital city of Curaçao", "tags": [ "feminine" ], "word": "Gulielmopolis" }, { "code": "pap", "lang": "Papiamentu", "sense": "capital city of Curaçao", "word": "Willemstad" }, { "code": "fy", "lang": "West Frisian", "sense": "capital city of Curaçao", "tags": [ "neuter" ], "word": "Willemstêd" } ], "wikipedia": [ "Willemstad" ], "word": "Willemstad" } { "etymology_templates": [ { "args": { "1": "fr", "2": "nl", "3": "Willemstad" }, "expansion": "Borrowed from Dutch Willemstad", "name": "bor+" } ], "etymology_text": "Borrowed from Dutch Willemstad.", "head_templates": [ { "args": { "1": "f" }, "expansion": "Willemstad f", "name": "fr-proper noun" } ], "lang": "French", "lang_code": "fr", "pos": "name", "senses": [ { "categories": [ "French 3-syllable words", "French entries with incorrect language header", "French feminine nouns", "French lemmas", "French proper nouns", "French terms borrowed from Dutch", "French terms derived from Dutch", "French terms spelled with W", "French terms with IPA pronunciation", "Pages with 4 entries", "Pages with entries" ], "glosses": [ "Willemstad, the capital city of Curaçao" ], "links": [ [ "Willemstad", "Willemstad#English" ], [ "Curaçao", "Curaçao" ] ], "tags": [ "feminine" ] } ], "sounds": [ { "ipa": "/wi.lɛm.stad/" } ], "word": "Willemstad" } { "etymology_templates": [ { "args": { "1": "pap", "2": "nl", "3": "Willemstad" }, "expansion": "Dutch Willemstad", "name": "bor" } ], "etymology_text": "Borrowed from Dutch Willemstad.", "head_templates": [ { "args": { "1": "pap", "2": "proper noun" }, "expansion": "Willemstad", "name": "head" } ], "lang": "Papiamentu", "lang_code": "pap", "pos": "name", "senses": [ { "categories": [ "Pages with 4 entries", "Pages with entries", "Papiamentu entries with incorrect language header", "Papiamentu lemmas", "Papiamentu proper nouns", "Papiamentu terms borrowed from Dutch", "Papiamentu terms derived from Dutch" ], "glosses": [ "Willemstad, the capital city of Curaçao." ], "links": [ [ "Willemstad", "Willemstad#English" ], [ "Curaçao", "Curaçao" ] ] } ], "sounds": [ { "ipa": "/wiləmˈstad/" } ], "word": "Willemstad" }
Download raw JSONL data for Willemstad meaning in All languages combined (7.3kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-01-08 from the enwiktionary dump dated 2025-01-01 using wiktextract (9a96ef4 and 4ed51a5). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.